2027 search results - page 193 / 406 » Process Support for Tools Interoperability |
164
click to vote
STTT
1998
15 years 6 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
120
click to vote
ICDIM
2007
IEEE
16 years 23 days ago
2007
IEEE
The growing interest for the design and development of multi-agent systems has brought to the creation of a specific research area called Agent-Oriented Software Engineering (AOS...
194
click to vote
IEEESCC
2007
IEEE
16 years 22 days ago
2007
IEEE
eb services are becoming widely deployed to implement the automation of business processes such as supply chain management, inventory tracking, and healthcare management, just to ...
175
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...
164
click to vote
ICSEA
2006
IEEE
16 years 14 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...