7099 search results - page 170 / 1420 » Context for models of concurrency |
197
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Human geospatial activities often involves the use of geographic information in mobile environment where the context of technology use is dynamic, complex, and unstable, creating ...
181
click to vote
ICALP
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
199
click to vote
ACL
2008
15 years 8 months ago
2008
We take a multi-pass approach to machine translation decoding when using synchronous context-free grammars as the translation model and n-gram language models: the first pass uses...
201
click to vote
DAC
1999
ACM
16 years 8 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
191
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...