860 search results - page 161 / 172 » A Process Algebra Based Verification of a Production System |
131
Voted
ADBIS
2009
Springer
15 years 10 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...
126
Voted
CSEE
2009
Springer
15 years 10 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...
130
Voted
IDEAS
2006
IEEE
15 years 9 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...
121
Voted
EPIA
2003
Springer
15 years 8 months 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...
119
Voted
IPPS
2000
IEEE
15 years 8 months 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...