949 search results - page 59 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
CRYPTO
2001
Springer
14 years 5 days ago
2001
Springer
Consider a network of processors among which elements in a finite field K can be verifiably shared in a constant number of rounds. Assume furthermore constant-round protocols ar...
BPM
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
JCPHY
2011
12 years 10 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...