29 search results - page 5 / 6 » Verifying process models built using parameterized state mac... |
153
click to vote
RE
2010
Springer
14 years 9 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
98
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
— Caches, block memories, predictors, state tables, and other forms of on-chip memory are continuing to consume a greater portion of processor designs with each passing year. Mak...
109
Voted
FORTE
1998
15 years 3 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
152
Voted
ICDE
2002
IEEE
15 years 7 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...
106
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...