Search Sciweavers | Sciweavers

15155 search results - page 39 / 3031

» System Software

click to vote

IWSAS
2001
Springer

105views Software Engineering» more IWSAS 2001»

Adaptivity in Agent-Based Systems via Interplay between Action Selection and Norm Selection

14 years 2 months ago

Download www.cs.siu.edu

Henry Hexmoor

claim paper

Read More »

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

14 years 2 months ago

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

click to vote

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

14 years 2 months ago

Download staff.aist.go.jp

Yoshinao Isobe, Kazuhito Ohmaki

claim paper

Read More »

click to vote

CODES
2000
IEEE

86views Software Engineering» more CODES 2000»

Program path analysis to bound cache-related preemption delay in preemptive real-time systems

14 years 2 months ago

Download www.cs.york.ac.uk

ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ×Ø Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖ×Ø¹ × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ý×Ø Ñ×º Ì × ÔÖÓ Ð Ñ × Ü ...

Hiroyuki Tomiyama, Nikil D. Dutt

claim paper

Read More »

click to vote

CSMR
2000
IEEE

100views Software Engineering» more CSMR 2000»

Generation of Stateless Components from Procedural Programs for Reuse in a Distributed System

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers