1288 search results - page 119 / 258 » Integrating formal models into the programming languages cou... |
154
click to vote
PADL
2000
Springer
15 years 9 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
170
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
266
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
160
click to vote
ASPLOS
2009
ACM
16 years 27 days ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
174
click to vote
IFIP
2009
Springer
15 years 3 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...