6348 search results - page 480 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
167
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
199
click to vote
SEW
2007
IEEE
16 years 1 months ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
171
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
160
click to vote
COMPSAC
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
147
click to vote
TMRA
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes TM/XML, an XML syntax for Topic Maps that is very close to the natural, or colloquial, XML representation of the information in the topic map. It can be used t...