2293 search results - page 298 / 459 » Temporal Logic in Information Systems |
166
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
279
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...
168
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
182
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
175
click to vote
IANDC
2006
15 years 6 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...