Search Sciweavers | Sciweavers

5082 search results - page 27 / 1017

» Actionable Information in Vision

click to vote

JUCS
2008

172views more JUCS 2008»

Formal Action Semantics for a UML Action Language

13 years 7 months ago

Download www.macs.hw.ac.uk

Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...

Mikai Yang, Greg J. Michaelson, Rob Pooley

claim paper

Read More »

click to vote

GLOBE
2009
Springer

100views Information Technology» more GLOBE 2009»

A Vision for Next Generation Query Processors and an Associated Research Agenda

14 years 7 days ago

Download delab.csd.auth.gr

Anastasios Gounaris

claim paper

Read More »

click to vote

ELPUB
2007
ACM

95views Information Technology» more ELPUB 2007»

DRIVER - Digital Repository Infrastructure Vision for European Research

13 years 11 months ago

Download www.driver-repository.eu

M. Robinson

claim paper

Read More »

click to vote

KES
2000
Springer

89views Information Technology» more KES 2000»

Robot vision tracking with a hierarchical CMAC controller

13 years 11 months ago

Download www.trop.uha.fr

R. Kara, Patrice Wira, Hubert Kihl

claim paper

Read More »

click to vote

ETRICS
2006

130views Security Privacy» more ETRICS 2006»

Possibilistic Information Flow Control in MAKS and Action Refinement

13 years 11 months ago

Download www.dfki.de

Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...

Dieter Hutter

claim paper

Read More »

« Prev « First page 27 / 1017 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers