15614 search results - page 210 / 3123 » The State of State |
109
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
134
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we introduce Web Objects in XML (WOX) as a web protocol for distributed objects, which uses HTTP as its transport protocol and XML as its format representation. It al...
130
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper investigates the application of a new kind of recurrent neural network called Echo State Networks (ESNs) for the problem of measuring the actual amount of harmonic cu...
143
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
144
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...