716 search results - page 60 / 144 » Rule Formats for Timed Processes |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
By reconstructing time-varying geometry one frame at a time, one ignores the continuity of natural motion, wasting useful information about the underlying video-image formation pr...
WSC
2000
13 years 9 months ago
2000
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
DMIN
2006
13 years 9 months ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...