3429 search results - page 533 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
169
Voted
TES
2001
Springer
15 years 8 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
132
Voted
EUROSYS
2009
ACM
16 years 25 days ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
173
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
170
Voted
AIED
2007
Springer
15 years 7 months ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
163
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...