2004 search results - page 231 / 401 » Comparison of Model Checking Tools for Information Systems |
153
click to vote
ER
2007
Springer
16 years 16 days ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
158
click to vote
ETFA
2005
IEEE
15 years 12 months ago
2005
IEEE
In High Volume Manufacturing (HVM), system control is shared between automation and human workers. The social organisation of workers plays an important role in supporting human d...
156
click to vote
PERVASIVE
2004
Springer
15 years 11 months ago
2004
Springer
In an effort to support the development of context-aware applications that use archived sensor data, we introduce the concept of the Context Cube based on techniques of data wareho...
157
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
176
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...