2624 search results - page 124 / 525 » The 2LIP model and its implementations |
144
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
148
click to vote
ECAL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Recently, brain models attempt to support cognitive abilities of artificial organisms. Incremental approaches are often employed to support modelling process. The presen...
161
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
152
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
173
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
We present a novel model for validating and improving the content and structure organization of a website. This model studies the website as a graph and evaluates its interconnect...