1104 search results - page 121 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
APSCC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and v...
COLCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
BPM
2004
Springer
14 years 22 days ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
ICSE
1997
IEEE-ACM
14 years 16 days ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...