2836 search results - page 437 / 568 » Model Checking for Software Architectures |
193
click to vote
ISCC
2008
IEEE
16 years 22 days ago
2008
IEEE
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
155
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
261
click to vote
LAWEB
2006
IEEE
16 years 11 days ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
183
click to vote
FCCM
2005
IEEE
15 years 12 months ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
160
click to vote
ACMMSP
2004
ACM
15 years 11 months ago
2004
ACM
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...