Sciweavers

3318 search results - page 326 / 664
» The Weak Instance Model
Sort
View
128
Voted
UML
2001
Springer
15 years 9 months ago
An Action Semantics for MML
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
José M. Álvarez, Tony Clark, Andy Ev...
ICRA
2000
IEEE
106views Robotics» more  ICRA 2000»
15 years 9 months ago
Toward Biomorphic Control Using Custom aVLSI CPG Chips
The locomotor controller for walking, running, swimming, and flying animals is based on a Central Pattern Generator (CPG). Models of CPGs as systems of coupled non-linear oscillato...
M. Anthony Lewis, Ralph Etienne-Cummings, Avis H. ...
127
Voted
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 9 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
ICCAD
1999
IEEE
66views Hardware» more  ICCAD 1999»
15 years 9 months ago
Test scheduling for core-based systems
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
Krishnendu Chakrabarty
DEXAW
2004
IEEE
209views Database» more  DEXAW 2004»
15 years 8 months ago
Spatio-Temporal Data Warehouse Design for Human Activity Pattern Analysis
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
Lionel Savary, Tao Wan, Karine Zeitouni