1078 search results - page 150 / 216 » Modelling and Verifying of e-Commerce Systems |
158
click to vote
DPD
1998
15 years 4 months ago
1998
To meet users’ growing needs for accessing pre-existing heterogeneous databases, a multidatabase system (MDBS) integrating multiple databases has attracted many researchers recen...
126
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
—Collision safety between humans and robots has drawn much attention since service robots are increasingly being used in human environments. A safe robot arm based on passive com...
144
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
148
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
134
click to vote
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
15 years 10 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...