1415 search results - page 38 / 283 » Verified systems by composition from verified components |
AISS
2010
13 years 5 months ago
2010
Many systems are available to verify the signatures in bank cheques. In this paper, we verify the offline signatures by taking a boundary of the entire signature and do the pixel ...
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can b...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...