3911 search results - page 722 / 783 » Using Operational Architecture to Model Embedded Software |
135
Voted
WADT
2004
Springer
15 years 7 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
110
Voted
IUI
2004
ACM
15 years 8 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
135
Voted
FAST
2010
15 years 4 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
118
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
136
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...