352 search results - page 43 / 71 » Extended Timed Automata and Time Petri Nets |
110
click to vote
ICECCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
135
click to vote
NOSSDAV
2005
Springer
15 years 7 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
118
click to vote
MSV
2007
15 years 3 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
116
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
142
click to vote
INFORMATICALT
2010
14 years 11 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...