8196 search results - page 333 / 1640 » Computational Modeling and Complexity Science |
202
click to vote
CSE
2008
IEEE
16 years 1 months ago
2008
IEEE
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...
131
click to vote
GI
2007
Springer
16 years 25 days ago
2007
Springer
: The use of technology to assist human decision making is not a novel idea. However, we argue that there is a need for a unified model which synthesizes and extends existing model...
157
Voted
ICSE
2005
IEEE-ACM
16 years 5 days ago
2005
IEEE-ACM
To enhance motivation of students to study software engineering, some way of finding balance between the scientific aspect and the practical aspect of software engineering is re...
248
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
153
Voted
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...