2623 search results - page 193 / 525 » tools 2010 |
207
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
220
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
164
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
150
click to vote
MIG
2010
Springer
15 years 4 months ago
2010
Springer
Virtual signers communicating in signed languages are a very interesting tool to serve as means of communication with deaf people and improve their access to services and informati...
246
click to vote
BPSC
2010
15 years 3 months ago
2010
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...