423 search results - page 79 / 85 » Formal access control analysis in the software development p... |
135
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
121
Voted
USENIX
1994
15 years 3 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...
106
click to vote
IUI
1993
ACM
15 years 5 months ago
1993
ACM
We discuss current approaches to the development of natural language dialogue systems, and claim that they do not sufficiently consider the unique qualities of man-machine intera...
119
click to vote
SIGMOD
1997
ACM
15 years 6 months ago
1997
ACM
The goal of the InfoSleuth project at MCC is to exploit and synthesize new technologies into a uni ed system that retrieves and processes information in an ever-changing network o...
174
click to vote
ECRTS
2010
IEEE
15 years 2 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...