5961 search results - page 286 / 1193 » Design Science and Software Engineering |
168
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
175
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
176
Voted
ICSEA
2007
IEEE
16 years 26 days ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
174
click to vote
AUIC
2006
IEEE
16 years 22 days ago
2006
IEEE
In the context of a larger project dealing with kansei analysis of movement, we present a basic method for applying real-time filters to human motion capture data in order to modi...
138
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...