11324 search results - page 2158 / 2265 » Coordination Models and Languages |
179
click to vote
DLT
2006
15 years 7 months ago
2006
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
161
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
166
click to vote
FORTE
2004
15 years 7 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
148
click to vote
IADIS
2004
15 years 7 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...
158
click to vote
IADIS
2004
15 years 7 months ago
2004
The Internet has impacted our lives in many different ways. In this paper we present an Internet-based automated virtual reality (VR) generator for pain relief of hospitalized bur...