1454 search results - page 142 / 291 » Stateful traits and their formalization |
159
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
196
click to vote
ICTAI
2009
IEEE
16 years 29 days ago
2009
IEEE
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
158
click to vote
ISORC
2009
IEEE
16 years 28 days ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
153
click to vote
HICSS
2007
IEEE
16 years 19 days ago
2007
IEEE
In 1996 Ward et al reported the results of their UK study into the state of practice in evaluating and realizing benefits from IS/IT investments. This paper presents new empirical...
157
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...