Sciweavers

10908 search results - page 512 / 2182
» Requirements Engineering Tasks
Sort
View
WCRE
2008
IEEE
15 years 12 months ago
A Business Process Explorer: Recovering Business Processes from Business Applications
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
Jin Guo, Ying Zou
IPCCC
2007
IEEE
15 years 12 months ago
LoST: A Protocol for Mapping Geographic Locations to Public Safety Answering Points
Abstract— Public Safety Answering Points (PSAPs) serve limited geographic areas, so emergency callers must be directed to the most appropriate PSAP. As part of the overall Intern...
Henning Schulzrinne, Hannes Tschofenig, Andrew New...
B
2007
Springer
15 years 11 months ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
Bill Stoddart, Dominique Cansell, Frank Zeyda
OTM
2007
Springer
15 years 11 months ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
XPU
2007
Springer
15 years 11 months ago
FitClipse: A Fit-Based Eclipse Plug-In for Executable Acceptance Test Driven Development
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
Chengyao Deng, Patrick Wilson, Frank Maurer