Sciweavers

911 search results - page 130 / 183
» Prolog and Natural-Language Analysis
Sort
View
125
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
129
Voted
ICLP
1997
Springer
15 years 8 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
149
Voted
BPM
2008
Springer
125views Business» more  BPM 2008»
15 years 5 months ago
Checking Compliance of Execution Traces to Business Rules
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
Federico Chesani, Paola Mello, Marco Montali, Fabr...
112
Voted
VLC
2008
88views more  VLC 2008»
15 years 3 months ago
Towards a specification of the ToonTalk language
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
Leonel Morgado, Ken Kahn
141
Voted
JUCS
2010
165views more  JUCS 2010»
15 years 2 months ago
Collective Knowledge Engineering with Semantic Wikis
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...
Grzegorz J. Nalepa