5451 search results - page 190 / 1091 » Typed Operational Semantics |
146
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
127
Voted
WAC
2005
Springer
15 years 9 months ago
2005
Springer
: The development and deployment of interconnected networks is being increasingly limited by their complexity and the concomitant cost of managing the operational network. Autonomi...
136
Voted
SRDS
1995
IEEE
15 years 7 months ago
1995
IEEE
Advances in computer and telecommunication technologies have made mobile computing a reality. However, greater mobility implies a more tenuous network connection and a higher rate...
263
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
135
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...