10038 search results - page 524 / 2008 » Model Checking for Managers |
172
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
Over recent years, the need to introduce rapidly new telecommunications services has led to the development of the Intelligent Network (IN). These services and the increasingly com...
132
click to vote
ELPUB
1999
ACM
15 years 11 months ago
1999
ACM
Internet technology together with the SGML based XML language family provide means to develop technical customer document management in inter-organisational industrial projects. T...
278
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
A novel data source for assessing traffic conditions is floating car data (FCD) in the form of vehicle tracking data, or, in database terms, trajectory data. This work proposes pr...
199
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Detecting the needs of learners is a challenging but essential task to be able to provide adaptivity. In this paper we present a tool that enables learning management systems (LMS...
186
click to vote
RIDE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object m...