Sciweavers

876 search results - page 83 / 176
» Integrating Preferences into Goal Models for Requirements En...
Sort
View
ISM
2005
IEEE
120views Multimedia» more  ISM 2005»
15 years 11 months ago
MML: A Language for Modeling Interactive Multimedia Applications
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
Andreas Pleuß
AGENTS
2001
Springer
15 years 10 months ago
Representing social structures in UML
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
H. Van Dyke Parunak, James Odell
IH
2007
Springer
16 years 9 days ago
A Graph Game Model for Software Tamper Protection
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
Nenad Dedic, Mariusz H. Jakubowski, Ramarathnam Ve...
APSEC
1999
IEEE
15 years 10 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
PRIB
2009
Springer
187views Bioinformatics» more  PRIB 2009»
15 years 10 months ago
Semi-supervised Prediction of Protein Interaction Sentences Exploiting Semantically Encoded Metrics
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...
Tamara Polajnar, Mark A. Girolami