2306 search results - page 284 / 462 » Modeling issues in a shipping system |
EDBT
2008
ACM
14 years 9 months ago
2008
ACM
Data stream processing systems have become ubiquitous in academic and commercial sectors, with application areas that include financial services, network traffic analysis, battlef...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
EFDBS
2003
13 years 10 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
MSWIM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we discuss utility functions models to study Radio Resource Management. Our goal is to identify the characteristics of the wireless systems which make such theoretic...
SECURWARE
2008
IEEE
14 years 3 months ago
2008
IEEE
A new emerging paradigm of Uncertain Risk of Suspicion, Threat and Danger, observed across the field of information security, is described. Based on this paradigm a novel approac...