Sciweavers

3653 search results - page 467 / 731
» Learning of Partial Languages
Sort
View
ESOP
2010
Springer
15 years 11 months ago
On the Expressive Power of Primitives for Compensation Handling
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
Ivan Lanese, Cátia Vaz, Carla Ferreira
VL
2002
IEEE
128views Visual Languages» more  VL 2002»
15 years 11 months ago
Dynamic Layout Management in a Multimedia Bulletin Board
This paper proposes a novel user interface to manage the dynamic layout of multimedia objects in the Multimedia Bulletin Board (MBB) system. The MBB has been designed and implemen...
Hyunmo Kang, Ben Shneiderman, Gregory J. Wolff
NLPRS
2001
Springer
15 years 11 months ago
An Empirical Study of Feature Set Selection for Text Chunking
This paper presents an empirical study for improving the performance of text chunking. We focus on two issues: the problem of selecting feature spaces, and the problem of alleviat...
Young-Sook Hwang, Yong-Jae Kwak, Hoo-Jung Chung, S...
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
TOOLS
2000
IEEE
15 years 11 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober