1098 search results - page 161 / 220 » Combining Models for Business Decisions and Software Develop... |
140
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
124
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
114
Voted
ACMSE
2010
ACM
15 years 1 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
142
Voted
DSS
2007
15 years 3 months ago
2007
Wireless access with handheld devices is a promising addition to the WWW and traditional electronic business. Handheld devices provide convenience and portable access to the huge ...
111
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...