8099 search results - page 723 / 1620 » Higher-Order Task Models |
223
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
204
click to vote
PERCOM
2004
ACM
16 years 7 months ago
2004
ACM
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
207
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...
194
click to vote
VL
2009
IEEE
16 years 2 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
177
click to vote
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...