Sciweavers

15635 search results - page 3 / 3127
» Modelling and Design of VAML
Sort
View
CSSE
2008
IEEE
16 years 1 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
187
Voted
CAISE
2000
Springer
15 years 11 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis
HICSS
2003
IEEE
151views Biometrics» more  HICSS 2003»
16 years 21 days ago
An Evaluation of Applying Use Cases to Construct Design versus Validate Design
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
Erik Syversen, Bente Anda, Dag I. K. Sjøber...
157
Voted
MODELS
2007
Springer
16 years 1 months ago
Designing Syntax Embeddings and Assimilations for Language Libraries
Martin Bravenboer, Eelco Visser
146
Voted
MSWIM
2004
ACM
16 years 25 days ago
Design and simulation of power-aware scheduling strategies of streaming data in wireless LANs
Andrea Acquaviva, Emanuele Lattanzi, Alessandro Bo...