2409 search results - page 363 / 482 » Logical systems for structured specifications |
117
click to vote
IV
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a structured methodology that uses focus group interviews to evaluate Information Visualization techniques and tools. Focus groups are particularly suitable fo...
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Finding the right agents in a large and dynamic network to provide the needed resources in a timely fashion, is a long standing problem. This paper presents a method for informati...
143
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
New mobile access networks provide reasonable high bandwidth to allow true internet access. This paper models two dominant applications of those networks. One application, WAP, is...
165
Voted
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
144
click to vote
METRICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...