2607 search results - page 84 / 522 » On the Architecture of System Verification Environments |
167
click to vote
TC
2008
15 years 6 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
175
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
There has been increasing pressure on the health care sector to adopt information technologies to rationalize service delivery and increase service quality. Medical information sy...
153
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
173
click to vote
DOA
2000
15 years 7 months ago
2000
This paper presents a load management concept for distributed object-oriented environments. The focus is on system level load management, i.e. the integration of load management i...
180
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...