10848 search results - page 1743 / 2170 » Programming in Biomolecular Computation |
212
click to vote
MIDDLEWARE
2000
Springer
15 years 11 months ago
2000
Springer
Historically, method-oriented middleware, such as Sun RPC, DCE, Java RMI, COM, and CORBA, has provided synchronous method invocation (SMI) models to applications. Although SMI work...
195
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
219
click to vote
ACM
1995
15 years 11 months ago
1995
: Systems are written in systems implementation languages. What characterizes such languages in the mid-1990’s? This paper identifies the typical environment that a system is bei...
234
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
220
click to vote
CHI
1995
ACM
15 years 11 months ago
1995
ACM
As spoken language interfaces for real-world systems become a practical possibility, it has become apparent that such interfaces will need to draw on a variety of cues from divers...