Sciweavers

7209 search results - page 949 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
FATES
2004
Springer
15 years 9 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano
COMPSAC
2009
IEEE
15 years 9 months ago
ELALPS: A Framework to Eliminate Location Anonymizer from Location Privacy Systems
—Countless challenges to preserving a user’s location privacy exist and have become more important than ever before with the proliferation of handheld devices and the pervasive...
Mehrab Monjur, Sheikh Iqbal Ahamed, Chowdhury Shar...
CIDR
2007
111views Algorithms» more  CIDR 2007»
15 years 5 months ago
The Case for a Signal-Oriented Data Stream Management System
Sensors capable of sensing phenomena at high data rates—on the order of tens to hundreds of thousands of samples per second—are useful in many industrial, civil engineering, s...
Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost...
KRDB
2003
184views Database» more  KRDB 2003»
15 years 5 months ago
Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
Michael Wessel
TC
2010
14 years 11 months ago
Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
Suprasad V. Amari, Liudong Xing, Akhilesh Shrestha...