1643 search results - page 231 / 329 » Consistability: Describing Usually Consistent Systems |
117
Voted
IIE
2007
14 years 11 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
106
Voted
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
14 years 11 months ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
85
Voted
TCS
2008
14 years 10 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
TSE
2008
14 years 10 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...
117
click to vote
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
Android which Google released as an open-source mobile phone operating system is a Linux-based platform; it consists of the operating system, middleware, and user interface and ap...