1077 search results - page 79 / 216 » A Modelling Language for Interactive Web Applications |
87
Voted
ICSOC
2007
Springer
15 years 4 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
PEPM
2007
ACM
15 years 4 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Recently, many learning systems, such as e-learning and WBT (Web Based Teaching) systems have been developed. In these systems, users can get educational contents and graphical ma...
113
click to vote
IEEESCC
2010
IEEE
14 years 8 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
105
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...