5904 search results - page 45 / 1181 » Requirements for a Composition Language |
ENTCS
2006
13 years 7 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
FMSD
2006
13 years 7 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
JUCS
2007
13 years 7 months ago
2007
: Writing applications are currently designed for desktop personal computers. Mobile devices like PDAs or smart phones are increasingly being used for mobile applications such as a...
JSS
2010
13 years 2 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
ECOOPW
1999
Springer
14 years 9 hour ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...