7289 search results - page 153 / 1458 » A Dependent Set Theory |
TSD
2004
Springer
14 years 1 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
ICSE
2009
IEEE-ACM
14 years 23 days ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
KBSE
2000
IEEE
14 years 16 days ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
MDA
1999
Springer
14 years 13 days ago
1999
Springer
Abstract. Caching frequently accessed data at the client is an attractive technique for improving access time. In a mobile computing environment, client location becomes a piece of...
DAC
1994
ACM
14 years 8 days ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...