10916 search results - page 2141 / 2184 » On Constructive Connectives and Systems |
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
FPGA
2003
ACM
14 years 1 months ago
2003
ACM
One of the most difficult and time-consuming steps in the creation of an FPGA is its transistor-level design and physical layout. Modern commercial FPGAs typically consume anywher...
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
— Optical Burst Switching (OBS) is an experimental network technology that enables the construction of very high capacity routers, using optical data paths and electronic control...
ISESE
2002
IEEE
14 years 1 months ago
2002
IEEE
Recent software systems contain a lot of functions to provide various services. According to this tendency, software testing becomes more difficult than before and cost of testing...