1525 search results - page 262 / 305 » Formal Models for Communication-Based Design |
104
Voted
ICWE
2010
Springer
14 years 11 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
139
click to vote
DASFAA
2011
IEEE
14 years 4 months ago
2011
IEEE
Flash memories are considered a competitive alternative to rotating disks as non-volatile data storage for database management systems. However, even if the Flash Translation Layer...
125
click to vote
FOIS
2006
15 years 2 months ago
2006
The world of ontology development is full of mysteries. Recently, ISO Standard 15926 ("Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities&...
125
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
123
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...