1884 search results - page 302 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
ICFCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
ER
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
WMCSA
2002
IEEE
14 years 3 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...