7557 search results - page 585 / 1512 » Modeling Timed Concurrent Systems |
174
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
The paper investigates the problem of tracking a desired plasma glucose evolution by means of intra-venous insulin administration. A modelbased approach is followed. A recent model...
197
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
170
click to vote
IPSN
2005
Springer
16 years 17 days ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
196
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In many wireless systems, interference is the main performance-limiting factor, and is primarily dictated by the locations of concurrent transmitters. In many earlier works, the l...
202
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...