6740 search results - page 1097 / 1348 » Using Classification as a Programming Language |
147
click to vote
FMCO
2007
Springer
16 years 18 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
170
click to vote
ICECCS
2006
IEEE
16 years 14 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
163
click to vote
KBSE
2005
IEEE
16 years 21 hour ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
290
click to vote
VL
2005
IEEE
16 years 15 hour ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
183
click to vote
WORDS
2005
IEEE
16 years 13 hour ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...