949 search results - page 25 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
124
Voted
EDUTAINMENT
2007
Springer
15 years 8 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
152
Voted
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
AISC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
126
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
107
Voted
EICS
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...