Sciweavers

1760 search results - page 185 / 352
» The Focus of Requirements Engineering in Workflow Applicatio...
Sort
View
65
Voted
CCE
2007
14 years 10 months ago
An upper ontology based on ISO 15926
Ontologies reflect our view of what exists and developing ontologies for a given domain requires a common context. This context can be characterized explicitly by means of an uppe...
Rafael Batres, Matthew West, David Leal, David Pri...
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 3 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
93
Voted
ATAL
2005
Springer
15 years 3 months ago
From concepts to agents: towards a framework for multi-agent system modelling
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
Richard Hill, Simon Polovina, Martin D. Beer
FASE
2009
Springer
15 years 5 months ago
A Formal Connection between Security Automata and JML Annotations
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
Marieke Huisman, Alejandro Tamalet
79
Voted
SIGSOFT
2005
ACM
15 years 11 months ago
Strathcona example recommendation tool
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
Reid Holmes, Robert J. Walker, Gail C. Murphy