2556 search results - page 107 / 512 » The Triconnected Abstraction of Process Models |
173
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
169
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
143
click to vote
EACL
2010
ACL Anthology
15 years 7 months ago
2010
ACL Anthology
Abstract. Since the early days of generation research, it has been acknowledged that modeling the global structure of a document is crucial for producing coherent, readable output....
159
click to vote
FINTAL
2006
15 years 9 months ago
2006
Abstract. We introduce a method for content-based advertisement selection for personal blog pages, based on combining multiple representations of the blog. The core idea behind the...
184
click to vote
BNCOD
2009
15 years 7 months ago
2009
Abstract. Database systems (DBSs) can play an essential role in facilitating the query and cache management in context-aware mobile information systems (CAMIS). Two of the fundamen...