3130 search results - page 496 / 626 » Design Correctness of Digital Systems |
159
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
152
click to vote
CGI
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the assumptions of current software for visualizing architecture is that the underlying geometry is a correct, objective, and complete representation of the objects in ques...
152
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
150
click to vote
APNOMS
2007
Springer
15 years 10 months ago
2007
Springer
The mobile devices have gained much functionality and intelligence with the growth of network technologies, the abundance of network resources, and the increase of various services...
252
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...