760 search results - page 98 / 152 » Modeling the Functionality of Multi-Functional Software Syst... |
111
Voted
ISPASS
2005
IEEE
15 years 6 months ago
2005
IEEE
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
100
Voted
QSIC
2005
IEEE
15 years 6 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
107
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
115
Voted
HCI
2007
15 years 2 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
119
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...