1884 search results - page 197 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
HUC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The popularity of handheld devices has created a flurry of research activity into new protocols and applications that can handle and exploit the defining characteristic...
122
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
104
click to vote
APPROX
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The Kaczmarz method for solving linear systems of equations Ax = b is an iterative algorithm that has found many applications ranging from computer tomography to digital ...
134
click to vote
JIKM
2008
15 years 1 months ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...