1492 search results - page 159 / 299 » Automatic Software Model Checking Using CLP |
ASWEC
2006
IEEE
15 years 4 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
168
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
IIE
2007
14 years 9 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...