15635 search results - page 452 / 3127 » Modelling and Design of VAML |
175
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
167
click to vote
HT
2003
ACM
16 years 1 days ago
2003
ACM
Most adaptive hypermedia systems used in education implement a single user model – inevitably originally designed for a specific set of circumstances. In this paper we describe ...
177
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Based on five design principles extracted from a survey of location systems, we present the Location Stack, a layered software engineering model for location in ubiquitous comput...
161
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
177
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...