726 search results - page 3 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
SOSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
AMCS
2011
13 years 10 days ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
VLSID
2002
IEEE
14 years 5 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
WORDS
2005
IEEE
13 years 11 months ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...