1397 search results - page 52 / 280 » On the Need for Practical Formal Methods |
131
Voted
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
147
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
126
Voted
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
157
Voted
JUCS
2002
15 years 3 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
BCSHCI
2007
15 years 5 months ago
2007
HCI continues to grow in popularity amongst commercial practitioners, many of whom have no formal training or education in HCI. Conferences, such as HCI 2007, offer an attractive ...