2556 search results - page 128 / 512 » The Triconnected Abstraction of Process Models |
147
click to vote
E4MAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
148
click to vote
KBSE
2008
IEEE
16 years 20 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
176
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
145
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Child language acquisition, one of Nature’s most fascinating phenomena, is to a large extent still a puzzle. Experimental evidence seems to support the view that early ...
170
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...