3555 search results - page 596 / 711 » Security-Critical System Development with Extended Use Cases |
118
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
APSEC
2003
IEEE
15 years 6 months ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
109
click to vote
FM
2001
Springer
15 years 6 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
102
click to vote
AVI
2008
15 years 3 months ago
2008
Multi-touch interfaces have been a focus of research in recent years, resulting in development of various innovative UI concepts. Support for existing WIMP interfaces, however, sh...
138
click to vote
IMSA
2001
15 years 2 months ago
2001
We have developed a secure, collaborative, web-based electronic notebook (EN) designed to provide researchers and students with a means to record and share their primary research ...