378 search results - page 52 / 76 » Formalizing Spider Diagrams |
122
click to vote
ENTCS
2008
15 years 6 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
164
click to vote
FMSD
2000
15 years 5 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
142
click to vote
ECR
2010
15 years 3 months ago
2010
Mobile commerce applications adhering to anytime and anywhere paradigm, required to be flexible. They should be able to adapt their interface, services and content towards a certai...
136
click to vote
DIAGRAMS
2008
Springer
15 years 7 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
165
click to vote
ACSC
2006
IEEE
16 years 2 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...