535 search results - page 62 / 107 » Formalization of Legislative Documents Based on a Functional... |
160
click to vote
ENASE
2009
15 years 1 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
153
click to vote
CARDIS
2008
Springer
15 years 6 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
133
click to vote
MTA
2010
15 years 2 months ago
2010
: Multimedia applications nowadays are becoming prevalent. In the past the relational database model was generalized to the multimedia database model. More recently the relational ...
124
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
128
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...