1855 search results - page 136 / 371 » Composing model programs for analysis |
144
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
131
click to vote
DEXA
2004
Springer
15 years 8 months ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
142
click to vote
WISES
2003
15 years 4 months ago
2003
- Software agents have been already introduced successfully in the scope of embedded technology as smart controllers of intelligent systems. This paper presents a further applicati...
144
click to vote
ACTAC
2008
15 years 3 months ago
2008
We present an ecient hybrid method for aligning sentences with their translations in a parallel bilingual corpus. The new algorithm is composed of a length-based and anchor matchi...
144
click to vote
ICSOC
2009
Springer
15 years 1 months ago
2009
Springer
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...