1497 search results - page 216 / 300 » Extended static checking |
125
Voted
ENTCS
2007
15 years 19 days ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
114
Voted
IANDC
2007
15 years 19 days ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
221
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
106
click to vote
SIGMOD
2003
ACM
16 years 25 days ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
92
Voted
PERCOM
2004
ACM
16 years 8 days ago
2004
ACM
People are an important part of many business processes. Current workflow-based implementations of business processes constrain users to the desktop environment; require them to p...