2765 search results - page 209 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
174
click to vote
ICTAC
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
181
click to vote
ECEASST
2010
15 years 1 months ago
2010
The Eclipse Modeling Framework (EMF) and its meta-meta model Ecore support uni-directional and bi-directional references. It is quite common that references are defined uni-directi...
186
click to vote
JSS
2000
15 years 6 months ago
2000
Rapid advances in mobile communication technology have spawned many new mobile applications. A key element in many of these systems is the need to distribute real-time information...
213
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
188
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...