13099 search results - page 37 / 2620 » Cooperative method development |
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
NLDB
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we propose methods and heuristics having high accuracies and low time complexities for filtering spam e-mails. The methods are based on the n-gram approach and a heu...
HCI
2007
13 years 9 months ago
2007
A lighting control method has been proposed which adjusts the circadian rhythms of office workers and eliminates a decrease in the arousal level in the afternoon by exposing a high...
STTT
2010
13 years 2 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
FBT
1998
13 years 9 months ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...