4377 search results - page 683 / 876 » Application Driven Software Development |
195
click to vote
ISAAC
1995
Springer
15 years 10 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. ...
176
Voted
COORDINATION
2010
Springer
15 years 10 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...
205
Voted
ECMDAFA
2006
Springer
15 years 9 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...
200
Voted
DIMEA
2008
15 years 8 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...
229
click to vote
FMCAD
2008
Springer
15 years 8 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...