Sciweavers

4498 search results - page 607 / 900
» How to Invent Functions
Sort
View
118
Voted
ICCS
2007
Springer
15 years 11 months ago
Creating Individual Based Models of the Plankton Ecosystem
Abstract. The Virtual Ecology Workbench (VEW) is a suite of utilities for creating, executing and analysing biological models of the ocean. At its core is a mathematical language a...
Wes Hinsley, Tony Field, John Woods
ICOIN
2007
Springer
15 years 11 months ago
On the Early Release of Burst-Control Packets in Optical Burst-Switched Networks
Abstract. In Optical Burst-Switched networks, the so-called BurstControl Packet is sent a given offset-time ahead of the optical data burst to advertise the imminent burst arrival...
José Alberto Hernández, Javier Araci...
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 11 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
IH
2007
Springer
15 years 11 months ago
Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
Mariusz H. Jakubowski, Prasad Naldurg, Vijay Patan...
IWOMP
2007
Springer
15 years 11 months ago
A Proposal for Task Parallelism in OpenMP
Abstract. This paper presents a novel proposal to define task parallelism in OpenMP. Task parallelism has been lacking in the OpenMP language for a number of years already. As we ...
Eduard Ayguadé, Nawal Copty, Alejandro Dura...