10159 search results - page 1671 / 2032 » System Design Validation Using Formal Models |
153
click to vote
HICSS
2006
IEEE
16 years 25 days ago
2006
IEEE
As an emerging trend in outsourcing, cooperative sourcing is the merging of similar processes of several firms when, for example, several banks merge their payments processing and...
152
click to vote
ICDCSW
2005
IEEE
16 years 12 days ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
199
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Distributed mobile applications operate on devices with diverse capabilities, in heterogeneous environments, where parameters such as processor, memory and network utilisation, are...
214
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
186
click to vote
ICML
2003
IEEE
16 years 1 days ago
2003
IEEE
Shaping can be an effective method for improving the learning rate in reinforcement systems. Previously, shaping has been heuristically motivated and implemented. We provide a for...