4377 search results - page 683 / 876 » Application Driven Software Development |
127
click to vote
ISAAC
1995
Springer
15 years 5 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
107
click to vote
COORDINATION
2010
Springer
15 years 5 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
121
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
136
click to vote
DIMEA
2008
15 years 3 months ago
2008
The Biometric Tendency Recognition and Classification System is a software application that continuously measures a participant's physiological responses to a given image and...
139
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...