3335 search results - page 387 / 667 » A Unified Approach to Modeling and Programming |
200
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
206
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
185
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
130
click to vote
ASPLOS
1987
ACM
15 years 10 months ago
1987
ACM
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...
159
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...