308 search results - page 44 / 62 » Modular Verification of Interactive Systems with an Applicat... |
111
click to vote
CODES
2007
IEEE
15 years 3 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
100
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...
ISWC
2002
IEEE
15 years 4 months ago
2002
IEEE
Inspired by perception in biological systems, distribution of a massive amount of simple sensing devices is gaining more support in detection applications. A focus on fusion of se...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...
102
click to vote
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...