1454 search results - page 167 / 291 » Stateful traits and their formalization |
172
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
154
click to vote
CIA
2007
Springer
16 years 16 days ago
2007
Springer
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
199
click to vote
CMSB
2007
Springer
16 years 16 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
168
click to vote
FORMATS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
141
click to vote
ICCS
2007
Springer
16 years 15 days ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...