746 search results - page 98 / 150 » Formal Analysis of UML-Based Designs |
131
Voted
CASCON
2007
15 years 3 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
100
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
ISI
2004
Springer
15 years 7 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
100
Voted
INFSOF
2002
15 years 1 months ago
2002
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
102
Voted
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...