15614 search results - page 407 / 3123 » The State of State |
193
Voted
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
147
Voted
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a model of a recurrent neural network, embodied in a minimalist articulated agent with a single link and joint. The configuration of the agent defined by one...
129
click to vote
VLDB
2005
ACM
16 years 9 days ago
2005
ACM
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
162
click to vote
ICDCS
2003
IEEE
16 years 3 days ago
2003
IEEE
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...
151
click to vote
NECO
2010
15 years 5 months ago
2010
The roles of inhibitory neurons in synchronous firing are examined in a network of excitatory and inhibitory neurons with Watts and Strogatz’s rewiring. By examining the persis...