984 search results - page 32 / 197 » ideas 2010 |
107
Voted
ENTCS
2002
15 years 17 days ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
90
Voted
ENTCS
1998
15 years 13 days ago
1998
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
80
Voted
PROCEDIA
2010
14 years 11 months ago
2010
Modern physical theory and modern computational techniques are used to provide conjecture on how nature computes. I utilize time-domain simulation of physical phenomena and build ...
111
Voted
GAMESEC
2010
14 years 10 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
105
Voted
IWSDS
2010
14 years 10 months ago
2010
This paper addresses a spoken dialogue framework that helps users make decisions. Various decision criteria are involved when we select an alternative from a given set of alternati...