866 search results - page 6 / 174 » A Formal Investigation of |
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
I n this paper, we investigate the problem of stabilization, and detection and tracking of moving or stationary objects in a forward-looking infrared (FLIR) sequence. A multifract...
122
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
104
Voted
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
97
Voted
GCC
2004
Springer
15 years 7 months ago
2004
Springer
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...