2255 search results - page 369 / 451 » High Assurance Software Systems |
449
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
128
Voted
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
The ease of deployment of battery-powered and mobile systems is pushing the network edge far from powered infrastructures. A primary challenge in building untethered systems is of...
128
Voted
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
Rapid product or service deployment is most commonly thought of in the corporate, rather than academic, environment. Utilizing a rapid deployment process and a number of highly de...
135
Voted
ANLP
2000
15 years 5 months ago
2000
This paper explores the problem of identifying sentence boundaries in the transcriptions produced by automatic speech recognition systems. An experiment which determines the level...
129
Voted
INTERNET
2008
15 years 3 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...