861 search results - page 93 / 173 » Predicting change impact from logical models |
180
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Modern service-oriented systems have increasingly complex loosely-coupled architectures that often exhibit poor performance and resource efficiency and have high operat...
282
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
149
click to vote
IROS
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—Experimental analyses of propulsion in freelyswimming fishes have led to the development of self-propelling pectoral and caudal fin robotic devices. These biorobotic mod...
173
click to vote
WSC
2008
15 years 8 months ago
2008
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
175
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...