4987 search results - page 471 / 998 » Fuzzifying P Systems |
173
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
187
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we will show that it is possible to combine mobile agent technology with existing non-mobile data mining applications. The motivation for this is the advantage mobil...
167
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
179
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...
213
click to vote
TYPES
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...