1578 search results - page 219 / 316 » CASE Support for the Software Process: Advances and Problems |
FAC
2000
13 years 8 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
ASPDAC
2004
ACM
14 years 18 days ago
2004
ACM
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
W2GIS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper addresses—to our knowledge, for the first time—the problem of querying a geosensor network—a sensor network of mobile, locationaware nodes—for histori...
SIGPLAN
1998
13 years 8 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...