852 search results - page 48 / 171 » Understanding How the Requirements Are Implemented in Source... |
157
click to vote
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
144
Voted
CRYPTO
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...
142
Voted
FLAIRS
2003
15 years 5 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
144
click to vote
CISIS
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, we show that Web protocols and technologies are good candidates to design the Internet of Things, through a user-centric architecture (the user simply has to use ...
114
Voted
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...