3645 search results - page 69 / 729 » Implementing mapping composition |
ACSD
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
SIGSOFT
2003
ACM
16 years 2 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
ACL
1996
15 years 20 days ago
1996
This paper discusses the problem of learning language from unprocessed text and speech signals, concentrating on the problem of learning a lexicon. In particular, it argues for a ...
107
click to vote
SUTC
2006
IEEE
15 years 5 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
HICSS
2008
IEEE
15 years 5 months ago
2008
IEEE
A service-oriented architecture enables composite applications that support business processes to be defined and built dynamically from loosely coupled and interoperable web servi...