1023 search results - page 166 / 205 » Model Checking: Software and Beyond |
FPGA
1997
ACM
15 years 5 months ago
1997
ACM
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
116
click to vote
GEOINFO
2004
15 years 3 months ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...
111
click to vote
BPM
2010
Springer
14 years 11 months ago
2010
Springer
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
135
click to vote
RSP
2006
IEEE
15 years 7 months ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
119
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...