2624 search results - page 404 / 525 » The 2LIP model and its implementations |
PERCOM
2003
ACM
14 years 9 months ago
2003
ACM
Pervasive computing environments accommodate interconnected and communicating mobile devices. Mobility is a vital aspect of everyday life and technology must offer support for mov...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
B
2007
Springer
14 years 4 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
BPM
2007
Springer
14 years 4 months ago
2007
Springer
The success of a business process (BP) depends on whether it meets its business goal as well as non-functional requirements associated with it. BP specifications frequently need to...
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...