7557 search results - page 242 / 1512 » Modeling Timed Concurrent Systems |
193
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
150
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
185
click to vote
KDD
2004
ACM
15 years 12 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...
180
click to vote
SBBD
2004
15 years 8 months ago
2004
Today, neither transactional provisions, in general, nor concurrency control, in particular, of DBMS-based processing are tailored to the specific needs of large and collaborative...
205
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...