3256 search results - page 351 / 652 » Applications of Formal Methods to System Design and Verifica... |
222
click to vote
MTA
2011
15 years 1 months ago
2011
: With the advances in a variety of software/hardware technologies and wireless networking, there is coming a need for ubiquitous collaboration which allows people to access inform...
150
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Pattern matching relies on deterministic finite automata (DFA) to search for predefined patterns. While a bit-DFA method is recently proposed to exploit the parallelism in pattern...
185
click to vote
JLP
2007
15 years 6 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
226
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
220
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...