3335 search results - page 178 / 667 » A Unified Approach to Modeling and Programming |
200
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
157
click to vote
DAIS
2003
15 years 8 months ago
2003
Abstract. There is growing trend to unify user-to-user messaging systems to allow message exchange, independent of time, place, protocol, and end-user device. Building gateways to ...
203
click to vote
WISES
2003
15 years 8 months ago
2003
— Ubiquitous computing provides services to users, according to their current situation. Interactions with such programs are as implicit as possible. We find among the applicati...
182
click to vote
ACL
2011
14 years 10 months ago
2011
We describe an exact decoding algorithm for syntax-based statistical translation. The approach uses Lagrangian relaxation to decompose the decoding problem into tractable subprobl...
153
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...