Sciweavers

3432 search results - page 52 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
ASYNC
1998
IEEE
110views Hardware» more  ASYNC 1998»
14 years 1 months ago
Analyzing Specifications for Delay-Insensitive Circuits
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
Tom Verhoeff
WSC
1997
13 years 10 months ago
Taking the Work Out of Simulation Modeling: An Application of Technology Integration
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
Gregory S. Baker
IJWBC
2006
71views more  IJWBC 2006»
13 years 8 months ago
Harnessing ICT to develop community and identity: a model for academic departments
: Universities have been early adopters of Information and Communication Technologies (ICT). However, does availability imply use? How is ICT being used by academic departments? Th...
Clara M. Chu, Jose Rodolfo Hernandez-Carrion
MATES
2004
Springer
14 years 2 months ago
Developing Tools for Agent-Oriented Visual Modeling
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
Anna Perini, Angelo Susi
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 8 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer