2513 search results - page 429 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
SERA
2005
Springer
14 years 3 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
UIST
2004
ACM
14 years 3 months ago
2004
ACM
Volumetric displays provide interesting opportunities and challenges for 3D interaction and visualization, particularly when used in a highly interactive manner. We explore this a...
LAWEB
2003
IEEE
14 years 3 months ago
2003
IEEE
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
ECAL
2003
Springer
14 years 3 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...