4917 search results - page 294 / 984 » Software Engineering is Not Computer Science |
128
Voted
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
118
Voted
AUIC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
136
Voted
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
102
Voted
UIST
1998
ACM
15 years 8 months ago
1998
ACM
We present a “heads-up” shorthand for entering text on a stylus-based computer very rapidly. The innovations are that (i) the stylus need never be lifted from the surface, and...
125
Voted
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Today, most personal mobile devices (e.g. cell phones and PDAs) are multimedia-enabled and support a variety of concurrently running applications such as audio/video players, word...