26 search results - page 2 / 6 » Model-Based Prototype Development to Support Early Validatio... |
VTC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
IJAOSE
2008
13 years 4 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 4 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
SIGSOFT
2005
ACM
14 years 5 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
KDD
2006
ACM
14 years 5 months ago
2006
ACM
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...