860 search results - page 161 / 172 » A Process Algebra Based Verification of a Production System |
ADBIS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In moving object databases, many authors assume that number and position of objects to be processed are always known in advance. Detecting an unknown moving object and pu...
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
As software engineering educators, it is important for us to realize the increasing domainspecificity of software, and incorporate these changes in our design of teaching material...
IDEAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Tracking and tracing individual items is a new and emerging trend in many industries. Driven by maturing technologies such as Radio-Frequency Identification (RFID) and upcoming s...
EPIA
2003
Springer
14 years 26 days ago
2003
Springer
Most of supervised learning algorithms assume the stability of the target concept over time. Nevertheless in many real-user modeling systems, where the data is collected over an ex...
IPPS
2000
IEEE
14 years 1 days ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...