3799 search results - page 171 / 760 » An Engineering Approach to Formal Methods |
CAISE
2007
Springer
14 years 3 months ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
ICASSP
2007
IEEE
14 years 1 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...
APN
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...