511 search results - page 56 / 103 » Spelling Correction Using Context |
135
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
147
click to vote
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
125
click to vote
DEBS
2003
ACM
15 years 10 months ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
162
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
132
click to vote
ECRTS
1999
IEEE
15 years 9 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...