229 search results - page 39 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
146
Voted
ICIDS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
159
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
119
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
166
Voted
LISA
2004
15 years 5 months ago
2004
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...
114
Voted
ASM
2000
ASM
15 years 8 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...