3828 search results - page 446 / 766 » Proof-Based System Engineering Using a Virtual System Model |
174
Voted
FOSSACS
2003
Springer
16 years 1 days ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
167
click to vote
PASTE
2005
ACM
16 years 12 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
221
click to vote
NDSS
2003
IEEE
16 years 3 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
234
Voted
FASE
2007
Springer
16 years 1 months ago
2007
Springer
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
179
click to vote
SOQUA
2007
15 years 8 months ago
2007
The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...